<body>
Miscellaneous utilities that are useful when working with the Pipeline
framework.
</body>